Exit subproof
Перевод слова "exit subproof" на Русский язык
exit subproof
выйти из поддоказательства
He should exit the subproof once the conclusion is reached.
Он должен выйти из поддоказательства, как только будет достигнуто заключение.